13.88/17.57	unsat
