16.74/16.81	unsat
