17.14/20.81	unsat
