5.04/7.62	unsat
