0.78/1.71	unsat
