16.40/16.52	unsat
