5.28/5.68	unsat
