4.17/6.71	unsat
