12.84/12.92	unsat
