16.58/16.81	unsat
