5.03/7.62	unsat
