11.17/12.84	unsat
