282.30/285.35	unsat
