282.89/285.62	unsat
