5.24/6.68	unsat
