5.87/7.68	unsat
