525.67/527.62	unsat
