16.45/17.86	unsat
