13.36/15.62	unsat
