0.19/1.13	unsat
