16.18/17.41	unsat
