286.34/288.29	unsat
