8.28/19.64	unsat
