6.71/10.65	unsat
