19.07/21.53	unsat
