0.14/0.19	unsat
