286.33/290.05	unsat
