5.26/6.58	unsat
