0.80/1.14	unsat
