0.19/1.16	unsat
