13.98/14.00	unsat
