8.36/12.73	unsat
