16.86/17.88	unsat
