16.87/17.54	unsat
