7.44/8.10	unsat
