4.68/7.62	unsat
