4.67/8.65	unsat
