12.88/13.47	unsat
