2.76/5.71	unsat
