5.08/6.33	unsat
