0.06/0.19	unsat
