4.97/8.10	unsat
