6.56/7.62	unsat
