84.27/144.64	unsat
