16.45/17.96	unsat
