16.66/20.81	unsat
