0.19/1.40	unsat
