287.71/289.54	unsat
