4.89/7.68	unsat
