5.48/7.68	unsat
