0.19/1.19	unsat
