16.43/17.48	unsat
