283.06/285.52	unsat
