16.87/18.20	unsat
