527.32/530.06	unsat
