11.88/13.62	unsat
