12.80/12.85	unsat
