19.41/20.88	unsat
