5.84/7.12	unsat
