19.07/20.78	unsat
