15.96/17.41	unsat
