0.79/1.71	unsat
