16.45/19.41	unsat
