0.19/1.31	unsat
