12.88/13.28	unsat
