17.75/20.53	unsat
