0.11/0.19	unsat
