5.97/7.62	unsat
