6.09/10.71	unsat
