284.19/285.86	unsat
