13.88/17.62	unsat
