0.79/1.93	unsat
