282.24/284.17	unsat
